$\forall$$a$,$b$,$c$:$\mathbb{Z}$. divides($a$; $b$) $\Rightarrow$ divides($a$; ($b$ $\ast$ $c$))